Under the axiomatic set theory frame,this paper implements the machine proving of the equivalence between the Axiom of C......